🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·22h
📏Linear Logic
An easy-to-implement, arena-friendly hash map
nullprogram.com·4h·
Discuss: Lobsters
🔐Hash Functions
Three challenges in machine-based reasoning
amazon.science·21h·
Discuss: Hacker News
🧮Theorem Proving
How To Solve Every Programming Problem
blog.codeminer42.com·7h
📐Interval Arithmetic
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·11h·
Discuss: Hacker News
⚡Proof Automation
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
My blog on zero-knowledge cryptography
kaw101010.github.io·1h·
Discuss: Hacker News
🔐Quantum Security
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·22h
📊Static Analysis
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
DSPy Simba Explained
blog.mariusvach.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Building My Own Astrodynamics Library in Zig
atempleton.dev·53m·
Discuss: Hacker News
👁️Observatory Systems
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
How Hash Maps Work
hackernoon.com·13h
🔐Hash Functions
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Vibe Coding the MIT Course Catalog
stackdiver.com·7h·
Discuss: Hacker News
🌀Brotli Internals
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·10h·
Discuss: DEV
⚡gRPC
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·2d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
p-fast trie, but smaller
dotat.at·8h·
Discuss: Hacker News
🌳Trie Structures